#include <cstdio>

#define CARD_NUM 13

int cnt;

void dfs(int *n, int c, int w) {
	if (c == 13) {
		if (w >= CARD_NUM) {
//			for (int i=0; i<13; i++) {
//				printf("%d ", n[i]);
//			}
//			printf("\n");
			cnt++;
		}
		return;
	}
	
	for (int i=0; i<=4; i++) {
		if (w+i <= CARD_NUM) {
			n[c] = i;
			dfs(n, c+1, w+i);
		}
	}
}


int main() {
	int n[13];
	dfs(n, 0, 0);
	printf("%d\n", cnt);
	
	return 0;
}
